Every T-space is equivalent to a T-space of continuous functions

On images of continuous functions from a compact manifold to Euclidean space

Menger probabilistic normed space is a category topological vector space

In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...

Number of Variables Is Equivalent to Space

We prove that the set of properties describable by a uniform sequence of rst-order sentences using at most k + 1 distinct variables is exactly equal to the set of properties checkable by a Turing machine in DSPACEn k ] (where n is the size of the universe). This set is also equal to the set of properties describable using an iterative deenition for a nite set of relations of arity k. This is a ...

Every Banach Space is Reflexive

The title above is wrong, because the strong dual of a Banach space is too strong to assert that the natural correspondence between a space and its bidual is an isomorphism. This, from a categorical point of view, is indeed the right duality concept because it yields a self adjoint dualisation functor. However, for many applications the non–reflexiveness problem can be solved by replacing the n...

on images of continuous functions from a compact manifold to euclidean space